Computation tree logic - PDFSEARCH.IO - Document Search Engine

Computation tree logic
Results: 41

#	Item
21	Overview Modelling Deterministic finite automata Algorithmic Verification Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Temporal logic Update Computation tree logic
22	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
23	The Combinatorics of Non-determinism∗ ´ eric ´ Peschanski‡ . Olivier Bodini†, Antoine Genitrini‡and Fred [removed], {Antoine.Genitrini,Frederic.Peschanski}@lip6.fr. Add to Reading List Source URL: www-apr.lip6.fr Language: English - Date: 2013-12-05 10:18:28 Enumerative combinatorics Integer sequences Computational complexity theory Factorial Computation tree B-tree Combinatory logic Combinatorial species Tree Mathematics Combinatorics Discrete mathematics
24	A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Models of computation Logic in computer science Lambda calculus Tree traversal Combinatory logic Free variables and bound variables Computation tree Theoretical computer science Mathematics Applied mathematics
25	Advanced Topics in Combinatorial Methods for Testing Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-09-04 15:52:31 Computing Software engineering Temporal logic Assertion Debugging Fuzz testing Model checking Computation tree logic Java Modeling Language Software testing Logic in computer science Theoretical computer science
26	Theory Comput Syst DOI[removed]s00224[removed]Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas · Pablo Barceló · Leonid Libkin Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Mathematics Logic Combinatorics on words Models of computation Nested word Words Muller automaton Model theory Tree Automata theory Formal languages Theoretical computer science
27	May 27, [removed]:33 WSPC/117-IJSEKE S021819401100513X - Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-02-03 09:41:10 Mandatory access control Model checking Role-based access control Computation tree logic PERMIS Security Computer security Access control
28	ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Temporal logic Model checkers Formal methods Model checking Formal verification Linear temporal logic Computation tree logic CTL* Theoretical computer science Mathematical logic Applied mathematics
29	Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-13 09:14:28 Complexity classes Finite model theory Graph connectivity Game theory FO Reachability P Extensive-form game Tree Theoretical computer science Graph theory Mathematics
30	CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show t Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:58:40 Order theory Computability theory Integer sequences Antichain Functions and mappings Computable function Tree Function Model theory Mathematics Mathematical logic Theory of computation